abelianizing functor

阿贝尔化函子